#ifndef __IPC_RV_EX_H__
#define __IPC_RV_EX_H__
#include "g_type.h"
#include "g_system.h"
#include "gkt_debug.h"

#if defined(__USE_RISC_V__)
#define MsgPRINT_DIR_EX     "[rv]"
#define IPC_Print           gkt_printf
#elif defined(__USE_M0__)

#define MsgPRINT_DIR_EX     "[M0]"
#define IPC_Print           gkt_printf
#endif

void StartTick_ex(void);

G_Boolean Is_TimeOut_ex(uint32_t TimeOut);

// void IPC_Print(const char * format,...);

void G_IPC_Printv(uint8_t *buf, uint32_t len, uint8_t *s);

void G_IPC_Send_Trigger(void);

#endif
